((v5 v1 9) (v5 v4 7) (v1 v3 0) (v2 v5 4) (v3 v4 5) (v2 v4 9))
46
((v4 v2))